Tree rules in probabilistic transition system specifications with negative and quantitative premises

Probabilistic transition system specifications (PTSSs) in the ntmufnu/ntmuxnu format provide structural operational semantics for Segala-type systems that exhibit both probabilistic and nondeterministic behavior and guarantee that isimilarity is a congruence.Similar to the nondeterministic case of rule format tyft/tyxt, we show that the well-foundedness requirement is unnecessary in the probabilistic setting. To achieve this, we first define an extended version of the ntmufnu/ntmuxnu format in which quantitative premises and conclusions include nested convex combinations of distributions. This format also guarantees that bisimilarity is a congruence. Then, for a given (possibly non-well-founded) PTSS in the new format, we construct an equivalent well-founded transition system consisting of only rules of the simpler (well-founded) probabilistic ntree format. Furthermore, we develop a proof-theoretic notion for these PTSSs that coincides with the existing stratification-based meaning in case the PTSS is stratifiable. This continues the line of research lifting structural operational semantic results from the nondeterministic setting to systems with both probabilistic and nondeterministic behavior.Comment: In Proceedings EXPRESS/SOS 2012, arXiv:1208.244

Competitividade de um grupo de produtores da cadeia produtiva da maçã na região de Vacaria/RS.

O objetivo deste trabalho foi identificar se um grupo de produtores da cadeia produtiva da maçã na microrregião dos Campos de Cima da Serra está enfrentando dificuldades, e quais seriam elas, bem como identificar possíveis oportunidades que possam impactar na continuidade desta cadeia, através da metodologia de pesquisa exploratória, com caráter qualitativo e quantitativo quanto à abordagem metodológica, e, descritivo-explicativa quanto aos objetivos e levantamento de bibliografia. A coleta de informações foi realizada pelo método de entrevistas semiestruturadas, por meio de questionário. Os resultados indicaram que os produtores vêm enfrentando problemas de ordem produtiva e comercial, como fatores vinculados à mão de obra e clima, estabilização de preços, baixo consumo nacional da fruta, dentre outros, podendo ser amenizados pela introdução de técnicas, variedades e controle de custos. Além disso, a introdução paralela de novas culturas similares, como uva e pêra, pode aperfeiçoar o processo produtivo pela redução do custo. Palavras-chave: Maleicultura, produtividade, competitividade

Makespaces: From Redistributed Manufacturing to a Circular Economy

Redistributed manufacturing is an emerging concept which captures the anticipated reshoring and localisation of production from large scale mass manufacturing plants to smaller-scale localised, customisable production units, largely driven by new digital production technologies. Critically, community-based digital fabrication workshops, or makespaces, are anticipated to be one hothouse for this new era of localised production and as such are key to future sustainable design and manufacturing practices. In parallel, the concept of the circular economy conceptualises the move from a linear economy of take-make-waste to a closed loop system, through repair, remanufacturing, and recycling to ultimately extend the value of products and materials. Despite the clear interplay between redistributed manufacturing and circular economy, there is limited research exploring this relationship. In light of these interconnected developments, the aim of this paper is to explore the role of makespaces in contributing to a circular economy through redistributed manufacturing activities. This is achieved through six semi-structured interviews with thought leaders on these topics. The research findings identify barriers and opportunities to both circular economy and redistributed manufacturing, uncover overlaps between circular economy and redistributed manufacturing, and identify a range of future research directions that can support the coming together of these areas. The research contributes to a wider conversation on embedding circular practices within makespaces and their role in redistributed manufacturing

Fundamentos e aplicações da modelagem ambiental de agrotóxicos.

Vários processos, como sorção, fotólise, hidrólise, oxidação-redução, degradação biológica, deriva, volatilização, lixiviação, carreamento superficial, determinam o comportamento e destino de um agrotóxico no ambiente. Como resultado da modelagem, modelos matemáticos são representações desses processos e podem ser apresentados como ferramentas computacionais (simuladores). Modelos de simulação do comportamento e destino ambiental de agrotóxicos podem ser mais efetivos quando acompanhados da visualização e da análise espacial proporcionada pela tecnologia de um sistema de informação geográfica ? SIG. As bases científicas e os avanços tecnológicos na modelagem ambiental de agrotóxicos são aqui sucintamente apresentados.bitstream/item/32340/1/GEBLER-Doc78-2010.pd

Fundamentos e aplicações da modelagem ambiental de agrotóxicos.

Vários processos, como sorção, fotólise, hidrólise, oxidação-redução, degradação biológica, deriva, volatilização, lixiviação, carreamento superficial, determinam o comportamento e destino de um agrotóxico no ambiente. Como resultado da modelagem, modelos matemáticos são representações desses processos e podem ser apresentados como ferramentas computacionais (simuladores). Modelos de simulação do comportamento e destino ambiental de agrotóxicos podem ser mais efetivos quando acompanhados da visualização e da análise espacial proporcionada pela tecnologia de um sistema de informação geográfica ? SIG. As bases científicas e os avanços tecnológicos na modelagem ambiental de agrotóxicos são aqui sucintamente apresentados.bitstream/item/31128/1/Doc-78.pd

Enhancing surface liming rate on a no-till cropping system in an oxisol of Southern Brazilian.

The aim of the experiment is to evaluate the physical and chemical effects caused on the properties of red latosol containing high levels of organic matter in the aftermath of 40 months after surface liming and the effects on yield components of no-till maize. The experiment was conducted in an area of 1000 m 2 split into 40 plots of 25 m 2 , and the experimental design adopted was randomized complete blocks with five treatments and four replications. The treatments consisted of five rates of lime: 0, 2.5, 5, 12.5 and 30 ton.ha-1 (1 SMP pH 5.5). After 40 months of experiment installation, soil samples were taken in a total of four sub samples per plot, that were properly homogenized at different depths (0 to 5, 5 to 10 and 10 to 20 cm) and evaluated on chemical parameters (pH, H+Al, Ca, Mg, Al saturation and bases); on physical parameters (resistance to penetration and soil water infiltration) and on maize crop parameters (yield, height of insertion of first cob and plant?s height). It was observed that equal and above 1 SMP to pH 5.5 ameliorated soil pH in the layers up to 20 cm after 40 months of application, interfering in the levels of Al+H, Ca, Mg, saturation of bases and saturation of aluminum. However, significant effects on soil pH were observed in a depth up to 10 cm. The application of different surface liming rates did not interfere on penetration resistance or soil water infiltration capacity. The effects on soil chemical properties with the rate of 1 SMP to pH 5.5 resulted in higher maize grain yield. Key words: Chemical correction, soil physics, maize, acidity

Structural Refinement for the Modal nu-Calculus

We introduce a new notion of structural refinement, a sound abstraction of logical implication, for the modal nu-calculus. Using new translations between the modal nu-calculus and disjunctive modal transition systems, we show that these two specification formalisms are structurally equivalent. Using our translations, we also transfer the structural operations of composition and quotient from disjunctive modal transition systems to the modal nu-calculus. This shows that the modal nu-calculus supports composition and decomposition of specifications.Comment: Accepted at ICTAC 201

Avaliação não destrutiva para definição do estádio de maturação comercial de maçãs "Fuji Suprema".

O estádio de maturação comercial de maçãs pode ser definido por meio do monitoramento de alguns atributos de qualidade, na sua maioria, estrutivos. O DAMeter é um espectrômetro UV-vis portátil que gera, de forma não destrutiva, um índice de diferença de absorbância (IAD) representativo do teor de clorofila no fruto.DANIELA DAL BOSCO, CNPUV, 300156. (Colaborador